$\forall$${\it es}$:ES, $i$:Id. loc{-}on{-}path(${\it es}$;$i$;[]) $\Leftarrow\!\Rightarrow$ False